#include <stdio.h>
int main () {
    int n;
    while (~scanf("%d", &n)) {
        printf("%d\n", (n*n+n+2)/2);
    }
    return 0;
}